Works by Brunner, Andreas Bernhard Michael (exact spelling)

Order:
  1.  23
    Topological Representation of Intuitionistic and Distributive Abstract Logics.Andreas Bernhard Michael Brunner & Steffen Lewitzka - 2017 - Logica Universalis 11 (2):153-175.
    We continue work of our earlier paper :219–241, 2009) where abstract logics and particularly intuitionistic abstract logics are studied.logics can be topologized in a direct and natural way. This facilitates a topological study of classes of concrete logics whenever they are given in abstract form. Moreover, such a direct topological approach avoids the often complex algebraic and lattice-theoretic machinery usually applied to represent logics. Motivated by that point of view, we define in this paper the category of intuitionistic abstract logics (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark